existence of identity element